Skip to content

build: remove unused code coverage#7813

Merged
jeremylong merged 1 commit into
mainfrom
removeCoverage
Jul 13, 2025
Merged

build: remove unused code coverage#7813
jeremylong merged 1 commit into
mainfrom
removeCoverage

Conversation

@jeremylong

Copy link
Copy Markdown
Collaborator

I haven't looked at the code coverage reports in a VERY long time. I broke them when I was fixing the publishing by removing the wrong secret - and this is easier than recreating the secret for now...

@jeremylong

Copy link
Copy Markdown
Collaborator Author

By haven't looked at the code coverage - I mean the published code coverage. I've used local reports.

@jeremylong jeremylong merged commit 8ac68cc into main Jul 13, 2025
5 checks passed
@jeremylong jeremylong deleted the removeCoverage branch July 13, 2025 20:37
@jeremylong jeremylong added this to the 12.1.4 milestone Jul 16, 2025
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Aug 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant